Otherwise, the widget will be too small on hi-DPI devices.
Based on a patch by: Darcy Beurle <darcy@beurle.id.au>
https://bugzilla.gnome.org/show_bug.cgi?id=735419
styleClass: 'framed-user-icon' });
this._iconSize = params.iconSize;
+ let scaleFactor = St.ThemeContext.get_for_stage(global.stage).scale_factor;
this.actor = new St.Bin({ style_class: params.styleClass,
track_hover: params.reactive,
reactive: params.reactive,
- width: this._iconSize,
- height: this._iconSize });
+ width: this._iconSize * scaleFactor,
+ height: this._iconSize * scaleFactor });
},
setSensitive: function(sensitive) {